add_custom_target(test prove -b ${CMAKE_CURRENT_SOURCE_DIR})
